Merge pull request #7942 from val-kulkov/subversion-package
authorHannu Nyman <[email protected]>
Fri, 11 Jan 2019 20:46:18 +0000 (22:46 +0200)
committerGitHub <[email protected]>
Fri, 11 Jan 2019 20:46:18 +0000 (22:46 +0200)
subversion: bump to the latest stable bugfix release


Trivial merge